16

Formal Verification of Industrial Control Systems

Year:
2001
Language:
english
File:
PDF, 633 KB
english, 2001
21

Designing dependable logic controllers using algebraic specifications

Year:
2006
Language:
english
File:
PDF, 304 KB
english, 2006
50

multilayers: A kinetic Monte Carlo study

Year:
2006
Language:
english
File:
PDF, 1.80 MB
english, 2006